Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)
by Bertrand Meyer,Martin Nordio
ISBN 13: 9783642357459
Format: Paperback (192 pages) Publisher: Springer Published: 30 Nov 2012
Save for later
Touch of Class: Learning to Program Well with Objects and Contracts
by Bertrand Meyer
ISBN 13: 9783662519073
Format: Paperback (944 pages) Publisher: Springer Published: 23 Aug 2016
Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings ... Notes in Business Information Processing): 33
by Manuel Oriol, Bertrand Meyer
ISBN 13: 9783642025709
Format: Illustrated (384 pages) Publisher: Springer Published: 19 Jun 2009